Computational Aspects of the Hyperimmune-free Degrees
نویسندگان
چکیده
We explore the computational strength of the hyperimmunefree Turing degrees. In particular we investigate how the property of being dominated by recursive functions interact with classical computability notions such as the jump operator, relativization and effectively closed
منابع مشابه
Hyperimmune-free Degrees beyond Ω
An α-degree is hyperimmune-free if it does not contain a hyperimmune set. We study the existence problem of a hyperimmunefree α-degree for an admissible ordinal α, and show that the underlying structure of an admissible ordinal determines the existence and cardinality of the collection of hyperimmune-free α-degrees. The combinatorial principle 3 is demonstrated to play a key role in answering t...
متن کاملΠ1 Classes, Strong Minimal Covers and Hyperimmune-free Degrees
We investigate issues surrounding an old question of Yates’ as to the existence of a minimal degree with no strong minimal cover, specifically with respect to the hyperimmune-free degrees.
متن کاملHyperimmune-free degrees and Schnorr triviality
We investigate the relationship between lowness for Schnorr randomness and Schnorr triviality. We show that a real is low for Schnorr randomness if and only if it is Schnorr trivial and hyperimmune free.
متن کاملA reducibility related to being hyperimmune-free
The main topic of the present work is the relation that a set X is strongly hyperimmune-free relative to Y . Here X is strongly hyperimmune-free relative to Y if and only if for every partial X-recursive function p there is a partial Y -recursive function q such that every a in the domain of p is also in the domain of q and satisfies p(a) < p(a), that is, p is majorised by q. For X being hyperi...
متن کاملComputational and Programming Aspects of Transition Elements in a Three-dimensional Finite Element Program
The performance of any finite element (FE) structural analysis is directly related to the global number of nodes and degrees of freedom (DOF) of the discretized structure and mesh distribution attributes. It is obvious that the appropriate numerical analysis needs finer elements in the zone of interest, e.g. zone of high stress concentration and intensity, and coarser elements for farther porti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012